CartSellback ListOrder LookupSupport
ValoreBooks logo
Cancel
Showing 101 - 125 of 151 Results
101.
Truth and Consequence in Mediaeval Logic
Truth and Consequence in Mediaeval Logic by Beklemishev, Lev D. ISBN: 9780080957319

OUT OF STOCK

See Availability on Amazon
102.
Provability
Provability by Beklemishev, Lev D. ISBN: 9780080957708

OUT OF STOCK

See Availability on Amazon
103.
Foundational Studies: Selected Works
Foundational Studies: Selected Works by Beklemishev, Lev D. ISBN: 9780080955001

OUT OF STOCK

See Availability on Amazon
104.
The Metamathematics of Algebraic Systems, Collected Papers: 1936-1967
The Metamathematics of Algebraic Systems, Collected Papers: 1936-1967 by Mal'tsev, A. I., Beklemishe... ISBN: 9780080954783

OUT OF STOCK

See Availability on Amazon
105.
Set Theory: with an Introduction to Descriptive Set Theory
Set Theory: with an Introduction to Descriptive Set Theory by Kuratowski, Kazimierz, Bekl... ISBN: 9780080954950

OUT OF STOCK

See Availability on Amazon
106.
Introduction to the Theory of Finite Automata
Introduction to the Theory of Finite Automata by Beklemishev, Lev D. ISBN: 9780080957586

OUT OF STOCK

See Availability on Amazon
107.
Outlines of a Formalist Philosophy of Mathematics
Outlines of a Formalist Philosophy of Mathematics by Beklemishev, Lev D. ISBN: 9780080957234

OUT OF STOCK

See Availability on Amazon
108.
Abstract Set Theory
Abstract Set Theory by Beklemishev, Lev D. ISBN: 9780080957326

OUT OF STOCK

See Availability on Amazon
109.
A Deductive Theory of Space and Time
A Deductive Theory of Space and Time by Beklemishev, Lev D. ISBN: 9780080957647

OUT OF STOCK

See Availability on Amazon
110.
Recursive Number Theory: a Development of Recursive Arithmetic in a Logic-free Equation Calc...
Recursive Number Theory: a Development of Recursive Arithmetic in a Logic-free Equation Calc... by Beklemishev, Lev D. ISBN: 9780080957401

OUT OF STOCK

See Availability on Amazon
111.
Equivalents of the Axiom of Choice
Equivalents of the Axiom of Choice by Beklemishev, Lev D. ISBN: 9780080957548

OUT OF STOCK

See Availability on Amazon
112.
Logic Colloquium '78: Proceedings of the Colloquium Held in Mons, August 1978
Logic Colloquium '78: Proceedings of the Colloquium Held in Mons, August 1978 by D, Van Dalen, Beklemishev, ... ISBN: 9780080955056

OUT OF STOCK

See Availability on Amazon
113.
Logic, Methodology and Philosophy of Science Iv: Proceedings of the Fourth International Con...
Logic, Methodology and Philosophy of Science Iv: Proceedings of the Fourth International Con... by Beklemishev, Lev D. ISBN: 9780080954844

OUT OF STOCK

See Availability on Amazon
114.
Word Problems; Decision Problems and the Burnside Problem in Group Theory
Word Problems; Decision Problems and the Burnside Problem in Group Theory by Boone, W. W., Beklemishev, ... ISBN: 9780080954820

OUT OF STOCK

See Availability on Amazon
115.
Proceedings of the Second Scandinavian Logic Symposium
Proceedings of the Second Scandinavian Logic Symposium by Fenstad, Jens Erik, Beklemi... ISBN: 9780080954769

OUT OF STOCK

See Availability on Amazon
116.
Sentences Undecidable in Formalized Arithmetic: an Exposition of the Theory of Kurt Godel
Sentences Undecidable in Formalized Arithmetic: an Exposition of the Theory of Kurt Godel by Beklemishev, Lev D. ISBN: 9780080957302

OUT OF STOCK

See Availability on Amazon
117.
Provability, Computability and Reflection
Provability, Computability and Reflection by Beklemishev, Lev D. ISBN: 9780080955100

OUT OF STOCK

See Availability on Amazon
118.
Generalized Recursion Theory: Proceedings of the 1972 Oslo Symposium
Generalized Recursion Theory: Proceedings of the 1972 Oslo Symposium by Fenstad, Jens Erik, Beklemi... ISBN: 9780080954899

OUT OF STOCK

See Availability on Amazon
119.
Lincos: Design of a Language for Cosmic Intercourse
Lincos: Design of a Language for Cosmic Intercourse by Beklemishev, Lev D. ISBN: 9780080957487

OUT OF STOCK

See Availability on Amazon
120.
The Foundations of Intuitionistic Mathematics: Especially in Relation to Recursive Functions
The Foundations of Intuitionistic Mathematics: Especially in Relation to Recursive Functions by Beklemishev, Lev D. ISBN: 9780080957593

OUT OF STOCK

See Availability on Amazon
121.
Constructivism in Mathematics: an Introduction
Constructivism in Mathematics: an Introduction by Troelstra, Anne S., Beklemi... ISBN: 9780080570884

OUT OF STOCK

See Availability on Amazon
122.
The Logical Systems of Lesniewski
The Logical Systems of Lesniewski by Beklemishev, Lev D. ISBN: 9780080957500

OUT OF STOCK

See Availability on Amazon
123.
Mathematical Logic in Latin America: Proceedings of the Iv Latin American Symposium On Mathe...
Mathematical Logic in Latin America: Proceedings of the Iv Latin American Symposium On Mathe... by Arruda, Ayda I., Beklemishe... ISBN: 9780080955070

OUT OF STOCK

See Availability on Amazon
124.
Contributions to Mathematical Logic: Proceedings of the Logic Colloquium, Hannover 1966
Contributions to Mathematical Logic: Proceedings of the Logic Colloquium, Hannover 1966 by Beklemishev, Lev D. ISBN: 9780080957692

OUT OF STOCK

See Availability on Amazon
125.
Introduction to Model Theory and to the Metamathematics of Algebra
Introduction to Model Theory and to the Metamathematics of Algebra by Beklemishev, Lev D. ISBN: 9780080957524

OUT OF STOCK

See Availability on Amazon
Showing 101 - 125 of 151 Results - Browse more Beklemishev Lev D. in all departments
◀ | 1... 3 4 5 6 7 | ▶